Implementing Process Enactment within a Process-Centred Software Development Environment

limitation of the FSM approach is that resources that are shared across multiple activities are treated as normal inputs to those activities; this ignores resource allocation problems, such as deadlock. It is likely that more states would need to be added to the Finite State Machine to detect, prevent and resolve these problems. Acknowledgements The helpful advice and assistance of Martin Hilton, the Software Resources Manager of the Motorola Australia Software Centre, are gratefully acknowledged. The authors are also grateful for the comments of the anonymous referees .mate: A working environment for the development of complex reactive systems.ple views of software processes in a www-based process-centred software development environment.liminary experience with process modeling in the marvel software development environment kernel.